Algebraic semantics - PDFSEARCH.IO - Document Search Engine

Algebraic semantics
Results: 56

#	Item
51	Lecture 1: An Introduction to Boolean Algebra The operation of almost all modern digital computers is based on two-valued or binary systems. Binary systems were known in the ancient Chinese civilisation and by the classical Greek philosophers who created a well Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-10-05 12:21:59 Propositional calculus Boolean algebra Logical connectives Algebraic logic Semantics Negation Truth table Proposition Truth Logic Mathematical logic Mathematics
52	PDF Document Add to Reading List Source URL: configit.com Language: English - Date: 2013-07-18 08:44:52 Logic Propositional calculus Semantics Algebraic logic Boolean satisfiability problem Tautology Conjunctive normal form Binary decision diagram Disjunctive normal form Boolean algebra Mathematics Mathematical logic
53	PDF Document Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2004-01-13 10:32:24 Formal methods Process calculus Denotational semantics Algebra of Communicating Processes Communicating sequential processes Algebraic structure Universal algebra Construction and Analysis of Distributed Processes Calculus of communicating systems Process calculi Theoretical computer science Mathematics
54	PDF Document Add to Reading List Source URL: staff.science.uva.nl Language: English Algebraic logic Philosophical logic Modal logic Algebraic structures General frame Kripke semantics Entailment Modal algebra Lindenbaum–Tarski algebra Logic Mathematical logic Mathematics
55	PDF Document Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:05 Algebraic structures Semigroup Semilattice Lattice Kripke semantics Linear logic Interpretation Monoid Modal logic Mathematics Abstract algebra Logic
56	PDF Document Add to Reading List Source URL: arxiv.org Language: English Category theory Boolean algebra Modal logic Algebraic logic F-coalgebra Coalgebra General frame Modal algebra Kripke semantics Mathematics Abstract algebra Mathematical logic

UPDATE